توصیف و وارسی صوری رفتار مولفه های سیستم های بلادرنگ
thesis
- وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده علوم ریاضی
- author عادله آبادی عباس آباد
- adviser آیاز عیسی زاده جابر کریم پور
- publication year 1391
abstract
درمهندسی نرم افزار توصیف و وارسی سیستم های نرم افزاری با استفاده از روش های صوری اهمیت ویژه ای دارد. برای سیستم های دقیق و بلادرنگ یک ضرورت اجتناب ناپذیر است و توصیف و وارسی سیستم های بلادرنگ مبتنی بر مولفه ها از مسایل مهم در مهندسی نرم افزار است با توسعه ای که در مهندسی نرم افزار در توسعه خودکارهای ورودی خروجی داده شده است می توانیم راه حلی برای توصیف و وارسی سیستم های ناهمگن مبتنی بر مولفه ها ارایه دهیم. که در این پایان نامه یک روش صوری مبتنی بر خودکارهای زمان بندی شده ارایه کرده ایم
similar resources
یک روش توسعه یافته صوری برای توصیف رابط مولفه ها در طراحی سیستم های مبتنی بر مولفه
امروزه استفاده از سیستم های بزرگ کامپیوتری جزء ملزومات جداناپذیر در زندگی بشریت است. با بزرگ شدن سیستم ها، پیچیدگی نیز به صورت نمایی بزرگ می شود. برای غلبه بر پیچیدگی سیستم ها، بحث مهندسی نرم افزار مبتنی بر مولفه ها مطرح شده که تا به امروز موفقیت هایی نیز در این راستا کسب کرده است. جهت توصیف مولفه ها و تعامل آنها زبان های مختلفی با استفاده از روش های ریاضی و نظریه خودکارها ارائه شده اند که آنها...
15 صفحه اولکاوشی در مولفه های رفتار و عملکرد (مطالعه موردی)
هدف این پژوهش مطالعه اثربخشی مولفههای نظری بر رفتار و عملکرد رفتار و عملکرد مدیریتیِ مدیران در سازمانهای آموزشی میباشد. تحقیق حاضر بین رشتهای و از نوع بنیادی- کاربردی است. یافتههای توصیفی با مراجعه به مراکز علمی و کتابخانهها، و دادههای آماری، به شیوه میدانی و توزیع پرسشنامه محقق ساخته بین مدیران و اعضای هیأت علمی مراکز دانشگاه پیام نور استان مرکزی جمعآوری شده است. تجزیه و تحلیل دادهها د...
full textیک روش صوری برای توصیف و درستی یابی ترکیبی سیستم های نرم افزاری مبتنی بر مولفه ها
چکیده ندارد.
15 صفحه اولاثربخشی مولفه های نظری بر رفتار و عملکرد (مطالعه موردی)
هدف این پژوهش مطالعه نقش ذهنیت فلسفی در رفتار و عملکرد مدیریتیِ مدیران در سازمان های آموزشی می باشد. تحقیق حاضر از نوع بنیادی- کاربردی است. یافته های توصیفی با مراجعه به مراکز علمی و کتابخانه ها، و داده های آماری، به شیوه میدانی و توزیع پرسشنامه محقق ساخته بین مدیران و اعضای هیأت علمی مراکز دانشگاه پیام نور استان تهران جمع آوری شده است. تجزیه و تحلیل داده ها در دو سطح آمار توصیفی و استنبا...
full textMy Resources
document type: thesis
وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده علوم ریاضی
Keywords
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023